\begin{tabbing}
es{-}triggers{-}params{-}consistent(${\it es}$;$A$;$i$;${\it ds}$;${\it conds}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=($\forall$$k$:Knd. ($\uparrow$$k$ $\in$ dom(${\it conds}$)) $\Rightarrow$ ($\uparrow$hasloc($k$;$i$)))\+
\\[0ex]\& (\=$\forall$$e$:E.\+
\\[0ex](loc($e$) = $i$) $\Rightarrow$ ($\uparrow$kind($e$) $\in$ dom(${\it conds}$)) $\Rightarrow$ (valtype($e$) $\subseteq$r (${\it conds}$(kind($e$)).1)))
\-\\[0ex]\& (($\exists$$k$:Knd. ($\uparrow$$k$ $\in$ dom(${\it conds}$))) $\Rightarrow$ (state@$i$ $\subseteq$r State(${\it ds}$)))
\-
\end{tabbing}